TSTP Solution File: ITP119^1 by Nitpick---2016